Trong toán học, ký hiệu mũi tên lên Knuth (tiếng Anh: Knuth's up-arrow notation) là một phương pháp ký hiệu cho các số nguyên rất lớn, được giới thiệu bởi Donald Knuth vào năm 1976.[1] Nó liên quan chặt chẽ đến hàm Ackermann và đặc biệt là dãy vi thừa. Ý tưởng này dựa trên thực tế là phép nhân có thể được xem như là phép lặp của phép cộng và phép lũy thừa như là phép lặp của phép nhân. Tiếp tục theo cách này dẫn đến phép túc thừa (phép lặp của luỹ thừa) và phần còn lại của dãy vi thừa, thường được ký hiệu bằng cách sử dụng ký hiệu mũi tên Knuth. Ký hiệu này cho phép mô tả đơn giản các số lớn hơn nhiều so với có thể được viết rõ ràng.Mũi tên đơn có nghĩa là lũy thừa (phép nhân lặp), nhiều hơn một mũi tên có nghĩa là lặp lại phép toán được liên kết với một mũi tên ít hơn.Ví dụ:Định nghĩa chung của ký hiệu (theo đệ quy) như sau (đối với số nguyên a và số nguyên không âm b và n):Ở đây, ↑n là viết tắt của mũi tên n, ví dụ: